\section{Помеченные упорядоченные деревья}

Пусть $p$ --- какой-то алфавит. Множество слов $\pi\in\words{p}$ называется
\emph{префиксно-замкнутым} тогда и только тогда, когда каждое слово содержится
в $\pi$ вместе с каждым своим префикcом. Пустое множество и множество из одного 
пустого слова $\epsilon$, очевидно, являются префиксно-замкнутыми.

Довольно легко понять, что если в $\pi$ если хотя бы два различных элемента, то
там же найдется их общий префикс (в крайнем случае, это будет пустое слово).

